VDict mobile
Dictionary - Translation



If a recursive function is of the form
f x = ... f (d x) ...
then d is known as the descent function.
© Vdict mobile
Switch to smart phone version   |   Switch to PC version